The kinds of real or natural kinds that support explanation and prediction in the social sciences are difficult to identify and track because they change through time, intersect with one another, and they do not always exhibit their properties when one encounters them. As a result, conceptual practices directed at these kinds will often refer in ways that are partial, equivocal, or redundant. To improve this epistemic situation, it is important to employ open-ended classificatory concepts, to understand when different research (...) programs are tracking the same real kind, and to maintain an ongoing commitment to interact causally with real kinds to focus reference on those kinds. A tempting view of these non-idealized epistemic conditions should be avoided: that they signal an ontological structure of the social world so plentiful that it would permit ameliorated classificatory schemes to achieve their normative aims regardless of whether they defer to real-kind classificatory schemes. To ground these discussions, the essay appeals to an overlooked convergence in the systematic naturalistic frameworks of Richard Boyd and Ruth Millikan. (shrink)

Traditional debate on the metaphysics of gender has been a contrast of essentialist and social-constructionist positions. The standard reaction to this opposition is that neither position alone has the theoretical resources required to satisfy an equitable politics. This has caused a number of theorists to suggest ways in which gender is unified on the basis of social rather than biological characteristics but is “real” or “objective” nonetheless – a position I term social objectivism. This essay begins by making explicit the (...) motivations for, and central assumptions of, social objectivism. I then propose that gender is better understood as a real kind with a historical essence, analogous to the biologist’s claim that species are historical entities. I argue that this proposal achieves a better solution to the problems that motivate social objectivism. Moreover, the account is consistent with a post-positivist understanding of the classificatory practices employed within the natural and social sciences. (shrink)

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and (...) marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

In July 2020, more than 1000 companies that advertise on social media platforms withdrew their business, citing failures of the platforms (especially Facebook) to address the proliferation of harmful content. The #StopHateForProfit movement invites reflection on an understudied topic: the ethics of boycotting by corporations. Under what conditions is corporate boycotting permissible, required, supererogatory, or forbidden? Although value-driven consumerism has generated significant recent discussion in applied ethics, that discussion has focused almost exclusively on the consumption choices of individuals. As this (...) article underscores, value-driven consumerism by business corporations complicates these issues and invites further examination. We propose principles for the ethics of boycotting by corporations, indicate how these principles relate to different CSR paradigms, and show how these insights can help assess recent instances of corporate boycotting. (shrink)

There is broad agreement among social researchers and social ontologists that the project of dividing humans into social kinds should be guided by at least two methodological commitments. First, a commitment to what best serves moral and political interests, and second, a commitment to describing accurately the causal structures of social reality. However, researchers have not sufficiently analyzed how these two commitments interact and constrain one another. In the absence of that analysis, several confusions have set in, threatening to undermine (...) shared goals for the responsible modeling of social kinds of humans. This essay first explains the source and substance of these confusions. Then, by distinguishing different value-laden investigative questions into the classification of social kinds of humans, it sets out specific relations of dependence and constraint between empirically-driven investigations and value-driven investigations into social kinds of humans. The result is a more detailed and fruitful framework for thinking about the classification of social kinds that respects both normative interests and mind-independent causal regularities. (shrink)

In domains like stock brokerage, clinical psychiatry, and long‐term political forecasting, experts generally fail to outperform novices. Empirical researchers agree on why this is: experts must receive direct or environmental learning feedback during training to develop reliable expertise, and these domains are deficient in this type of feedback. A growing number of philosophers resource this consensus view to argue that, given the absence of direct or environmental philosophical feedback, we should not give the philosophical intuitions or theories of expert philosophers (...) greater credence than those of novice philosophers. This article has three objectives. The first is to explore several overlooked issues concerning the strategy of generalizing from empirical studies of non‐philosophical expertise to the epistemic status of philosophical expertise. The second is to explain why empirical research into a causal relationship between direct learning feedback and enhanced expert performance does not provide good grounds for abandoning a default optimism about the epistemic superiority of expert philosophical theories. The third is to sketch a positive characterization of learning feedback that addresses developmental concerns made salient by the empirical literature on expert performance for specifically theory‐driven or “armchair” domains like philosophy. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

Experimental philosophy involves subjecting philosophical methods and judgments to empirical scrutiny. I begin by exploring conceptual, confirmational, and empirical factors that limit the significance of experiment-based and survey-based approaches to the evaluation of philosophical epistemic activities. I then consider specific criticisms of experimental philosophy: its experimental conditions lack ecological validity; it wrongly assumes that philosophers rely on psychologized data; it overlooks the reflective and social elements of philosophical case analysis; it misconstrues the importance of both procedural and evaluative forms of (...) philosophical expertise; it incorrectly views psychological bias as incompatible with reliability; and it generalizes to a global, self-defeating skepticism about case judgment. I explain why these criticisms should be understood as converging and interdependent. I also set out a three-level model of philosophical case judgment that frames the criticisms. (shrink)

Modularity theorists have challenged that there are, or could be, general learning mechanisms that explain theory-of-mind development. In response, supporters of the ‘scientific theory-theory’ account of theory-of-mind development have appealed to children's use of auxiliary hypotheses and probabilistic causal modeling. This article argues that these general learning mechanisms are not sufficient to meet the modularist's challenge. The article then explores an alternative domain-general learning mechanism by proposing that children grasp the concept belief through the progressive alignment of relational structure that (...) occurs as a result of structural-comparison. The article also explores the implications of the proposed account for Fodor's puzzle of conceptual learning. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

The theory of mind debate has reached a “hybrid consensus” concerning the status of theory-theory and simulation-theory. Extant hybrid models either specify co-dependency and implementation relations, or distribute mentalizing tasks according to folk-psychological categories. By relying on a non-developmental framework these models fail to capture the central connection between simulation and theory. I propose a “dynamic” hybrid that is informed by recent work on the nature of similarity cognition. I claim that Gentner’s model of structure-mapping allows us to understand simulation (...) as a process in which psychological representations are aligned, causing the spontaneous abstraction of theoretical generalizations about the psychological domain. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

It is increasingly clear that children's excessive consumption of products high in added sugar causes obesity and obesity-related health problems like type 2 diabetes, cardiovascular disease, and metabolic syndrome. Less clear is how best to address this problem through public health policy. In contrast to policies that might conflict with adult's right to self-determination — for example sugar taxes and soda bans — this article proposes that children's access to products high in added sugars should be restricted in the same (...) way that children's access to tobacco products is restricted. The article first considers how the recommended policy will protect a child's right to an open future while not violating parental rights. The article then explores how the implementation of the recommended policy can help transform the social meaning of sugar and thereby curb the parental supply of added sugar to children — a central cause of obesity. The article also addresses several potential objections. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

In some domains experts perform better than novices, and in other domains experts do not generally perform better than novices. According to empirical studies of expert performance, this is because the former but not the latter domains make available to training practitioners a direct form of learning feedback. Several philosophers resource this empirical literature to cast doubt on the quality of philosophical expertise. They claim that philosophy is like the dubious domains in that it does not make available the good, (...) direct kind of learning feedback, and thus there are empirical grounds for doubting the epistemic quality of philosophical expertise. I examine the empirical studies that are purportedly bad news for professional philosophers. On the basis of that examination, I provide three reasons why the empirical study of non-philosophical expertise does not undermine the status of philosophical expertise. First, the non-philosophical task-types from which the critics generalize are unrepresentative of relevant philosophical task-types. Second, empirical critiques of non-philosophical experts are often made relative to the performance of linear models—a comparison that is inapt in a philosophical context. Third, the critics fail to discuss findings from the empirical study of non-philosophical expertise that have more favorable implications for the epistemic status of philosophical expertise. In addition to discussing implications for philosophical expertise, this article makes progress in the philosophical analysis of the science of expertise and expert development. (shrink)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Beauvoir’s The Second Sex stands out as a master class in the accommodation of conceptual and inferential practices to real, objective gender kinds. Or so I will argue. To establish this framing, we will first need in hand the kind of scientific epistemology that correctly reconciles epistemic progress and error, particularly as pertains to the unruly social sciences. An important goal of the paper is to develop that epistemological framework and unlock its ontological implications for the domain of gender. As (...) we will see, the real gender kinds that contemporary social scientists successfully identify and track are very much the same kinds to which Beauvoir was coordinating reference in The Second Sex. The correct identification of those kinds endures as a moral and political priority, regardless of one’s other gender-related normative agenda. (shrink)

Calls to hold artificial intelligence to account are intensifying. Activists and researchers alike warn of an “accountability gap” or even a “crisis of accountability” in AI. Meanwhile, several prominent scholars maintain that accountability holds the key to governing AI. But usage of the term varies widely in discussions of AI ethics and governance. This chapter begins by disambiguating some different senses and dimensions of accountability, distinguishing it from neighboring concepts, and identifying sources of confusion. It proceeds to explore the idea (...) that AI operates within an accountability gap arising from technical features of AI as well as the social context in which it is deployed. The chapter also evaluates various proposals for closing this gap. I conclude that the role of accountability in AI ethics and governance is vital but also more limited than some suggest. Accountability’s primary job description is to verify compliance with substantive normative principles—once those principles are settled. Theories of accountability cannot ultimately tell us what substantive standards to account for, especially when norms are contested or still emerging. Nonetheless, formal mechanisms of accountability provide a way of diagnosing and discouraging egregious wrongdoing even in the absence of normative agreement. Providing accounts can also be an important first step toward the development of more comprehensive regulatory standards for AI. (shrink)

Analogical cognition refers to the ability to detect, process, and learn from relational similarities. The study of analogical and similarity cognition is widely considered one of the ‘success stories’ of cognitive science, exhibiting convergence across many disciplines on foundational questions. Given the centrality of analogy to mind and knowledge, it would benefit philosophers investigating topics in epistemology and the philosophies of mind and language to become familiar with empirical models of analogical cognition. The goal of this essay is to describe (...) recent empirical work on analogical cognition as well as model applications to philosophical topics. Topics to be discussed include the epistemological distinction between implicit knowledge and explicit knowledge, the debate between empiricists and nativists, the frame problem, expertise, creativity and autism, cognitive architecture, and relational knowledge. Particular attention is given to Dedre Gentner and colleague’s structure-mapping theory – the most developed and widely accepted model of analogical cognition. (shrink)

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

Attempts have been made to prove God's non-existence. Often this takes the form of an appeal to the so-called Argument from Evil: if God were to exist, then he would not permit as much suffering in the world as there actually is. Hence the fact that there is so much suffering constitutes evidence for God's non-existence. In this essay I propose a variation which I shall call ‘The Argument from Non-belief’. Its basic idea is that if God were to exist, (...) then he would not permit as much non-belief in the world as there actually is. Hence the fact that there is so much non-belief constitutes evidence for God's non-existence. (shrink)

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

We often learn the opinions of others without hearing the evidence on which they're based. The orthodox Bayesian response is to treat the reported opinion as evidence itself and update on it by conditionalizing. But sometimes this isn't feasible. In these situations, a simpler way of combining one's existing opinion with opinions reported by others would be useful, especially if it yields the same results as conditionalization. We will show that one method---upco, also known as multiplicative pooling---is specially suited to (...) this role when the opinions you wish to pool concern hypotheses about chances. The result has interesting consequences: it addresses the problem of disagreement between experts; and it sheds light on the social argument for the uniqueness thesis. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called epistemic utility (...) theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

A framework is developed for understanding what is “taken for granted” both in philosophy and in life generally, which may serve to orient philosophical inquiry and make it more effective. The framework takes in language and its development, as well as mathematics, logic, and the empirical sphere with particular reference to the exigencies of life. It is evaluated through consideration of seven philosophical issues concerned with such topics as solipsism, sense data as the route to knowledge, the possible reduction of (...) geometry to logic, and the existence and status of human rights. Various dichotomies and the notion of continuity are evidently highly strategic. (shrink)

Religion emerged among early humans because both purposive and non-purposive explanations were being employed but understanding was lacking of their precise scope and limits. Given also a context of very limited human power, the resultant foregrounding of agency and purposive explanation expressed itself in religion’s marked tendency towards anthropomorphism and its key role in legitimizing behaviour. The inevitability of death also structures the religious outlook; with ancestors sometimes assigned a role in relation to the living. Subjective elements such as the (...) experience of dreams and the internalization of moral precepts also play their part. Two important sources of variation among religions concern the adoption of a dualist or non-dualist perspective, and whether or not the religion’s early political experience is such as to generate a systematic doctrine subordinating politics to religion. The near ubiquity and endurance of religion are further illuminated by analysis of its functions and ideological role. Religion tends to be socially conservative but has the potential to be revolutionary. (shrink)

Our values change. What we value, want, desire, prefer, and how much; for nearly everyone, these will be different at different times in their life. These changes can be gradual or abrupt; they can be long-lasting or short-lived; and they can be induced by forces outside yourself or they can come from within or they can have no specific catalyst at all. Such preference change raises a number of questions for our theorising about rational choice, and these have been discussed (...) at length. In §2 and §3, I’ll outline two of these questions along with some of the putative solutions that have been proposed. But preference change also raises questions for our theorising about autonomy, and these have hardly been considered at all. In §4, I’ll outline three problems for personal autonomy; and in §5, I’ll outline one problem for political autonomy. In §6, I conclude. (shrink)

Drawing mainly from the Tractatus Logico-Philosophicus and his middle period writings, strategic issues and problems arising from Wittgenstein’s philosophy of mathematics are discussed. Topics have been so chosen as to assist mediation between the perspective of philosophers and that of mathematicians on their developing discipline. There is consideration of rules within arithmetic and geometry and Wittgenstein’s distinctive approach to number systems whether elementary or transfinite. Examples are presented to illuminate the relation between the meaning of an arithmetical generalisation or theorem (...) and its proof. An attempt is made to meet directly some of Wittgenstein’s critical comments on the mathematical treatment of infinity and irrational numbers. (shrink)

The paper discusses the active part in the process of perceiving, usually expressed by the Greek word krinein. It is argued that krinein in one of its uses means "to judge" in the sense of judging a case, i. e. deciding it. It is not used for making statements. A second meaning of the Greek word is that of discerning or discriminating, and it is this meaning that plays a central part in Aristotle's theory of perception.

In this chapter we explain what experimental philosophy of science is, how it relates to the philosophy of science, and STS more broadly, and what sorts of contributions is can make to ongoing research in the philosophy of science.

For the last several years I have made the daily newspaper the pedagogical center piece of my philosophy seminar. This essay begins by describing the variations, themes, and logistics of this approach. The essay then offers several arguments in support of the value of this approach. The first argument references measurable indicators of success. A second argument contends that by “going live” with philosophical concepts, the newspaper-centered approach is uniquely well-positioned to motivate and excite the philosophy student. A third argument (...) claims that the newspaper-centered approach is well-positioned to construct an individualized bridge between the student and the world of philosophy. (shrink)

The question as to what makes a perfect Aristotelian syllogism a perfect one has long been discussed by Aristotelian scholars. G. Patzig was the first to point the way to a correct answer: it is the evidence of the logical necessity that is the special feature of perfect syllogisms. Patzig moreover claimed that the evidence of a perfect syllogism can be seen for Barbara in the transitivity of the a-relation. However, this explanation would give Barbara a different status over the (...) other three first figure syllogisms. I argue that, taking into account the role of the being-contained-as-in-a-whole formulation, transitivity can be seen to be present in all four first figure syllogisms. Using this wording will put the negation sign with the predicate, similar to the notation in modern predicate calculus. (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

After a brief introduction and orientation (section I), this dialogue between Levinasian and Beckerian thought is approached along the lines of two major themes concerning consciousness which emerge in very different contexts and registers in their work (sections II and III), and one tantalizing question that is raised with great force by the dialogue (section IV). The two themes revolve around the subtle dialectical interplay that runs throughout the thought of both Levinas and Becker – the switching between internality and (...) externality, non-rational and rational; otherness and sameness; life and death – an interplay that is summed up in the dialectic between non-reflexive and reflexive consciousness. The Beckerian and Levinasian notions of the non-reflexive consciousness (section II) relate to their respective and in many ways convergent claims about a non-rational primal human state characterized by global vulnerability, awe and guilt, especially before the face of the other. Their analyses of reflexive consciousness (section III) relate to their interpretations of the problematic ideal of the free, self-constituting and self-mastering individual, and the impetus located therein towards the repression of what is Other to the self. Finally (section IV), the question is raised as to whether (and to what extent), following Levinas, sources of compelling ethical value might be legitimately understood as emerging out of Becker’s conception of primordial human vulnerability. (shrink)

Ideas for integrating AI into politics are now emerging and advancing at accelerating pace. This chapter highlights a few different varieties and show how they reflect different assumptions about the value of democracy. We cannot make informed decisions about which, if any, proposals to pursue without further reflection on what makes democracy valuable and how current conditions fail to fully realize it. Recent advances in political philosophy provide some guidance but leave important questions open. If AI advances to a state (...) where it can secure superior political outcomes, leading perspectives in political philosophy suggest that democracy may become obsolete. If we find this suggestion troubling, we need to put the case for democracy on stronger foundations. (shrink)